# (decoded with TMPL 136)
*****: (EOF-terminated list)